| 1. | William Rollins published no dental articles after 1903.
Russell n'a pas immédiatement développé la théorie des types après 1903. |
| 2. | Personality type refers to the psychological classification of different types of people.
La théorie des types se réfère à la classification psychologique des différents types d'individus. |
| 3. | The development of the univalent foundations is closely related with the development of homotopy type theory.
Le développement des fondements univalents est étroitement lié au développement de la théorie des types homotopiques. |
| 4. | Attempts to formalize the notion of metavariable result in some kind of type theory.
Les tentatives de formalisation de la notion de métavariable ont abouti à une sorte de théorie des types. |
| 5. | The ideas of this paper are now being developed in several directions including the development of the cubical type theory.
Les idées de ce papier sont maintenant poussées dans diverses directions dont la théorie des types cubiques. |
| 6. | In 1885, Cantor extended his theory of order types so that the ordinal numbers simply became a special case of order types.
En 1885, Cantor étendit sa théorie des types d'ordre, les ordinaux en devenant simplement un cas particulier. |
| 7. | In type theory, every "term" has a "type" and operations are restricted to terms of a certain type.
En théorie des types, chaque terme possède un type et les opérations décrites par le système imposent des restrictions sur le type des termes qu'elles combinent. |
| 8. | A fundamental characteristic of the univalent foundations is that they, when combined with the Martin-Löf type theory, provide a practical system for formalization of modern mathematics.
Les fondements univalents, lorsqu'ils sont combinés avec la théorie des types de Martin-Löf, constituent un système pratique de formalisation des mathématiques modernes. |
| 9. | Two well-known type theories that can serve as mathematical foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory.
Deux théories des types qui émergent peuvent servir de fondations pour les mathématiques ; ce sont le λ-calcul typé d'Alonzo Church et la théorie des types intuitionniste de Per Martin-Löf. |
| 10. | Type theory is closely related to (and in some cases overlaps with) type systems, which are a programming language feature used to reduce bugs.
La théorie des types est très liée à (et recoupe parfois) l'étude des systèmes de types qui sont utilisés dans certains langages de programmation afin d'éviter certains bugs. |
